typed lambda calculus中文什么意思

• 有类型 lambda 演算
• 有类型lambda演算

• type:    n. 1.型，类型，(工业产品的)品种；风格，型式。 2 ...
• lambda:    n. 1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕 ...
• calculus:    n. (pl. calculuses, -li ) 1. ...
• simply typed lambda calculus:    简单类型 lambda 演算; 简单类型lambda演算
• lambda calculus:    lambda可定义函数; Λ-递归函数; Λ演算; λ演算; 无类型 lambda 演算; 无类型lambda演算; 演算

百科释义

A typed lambda calculus is a typed formalism that uses the lambda-symbol (lambda) to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below).

其他语言

typed lambda calculus перевод：Типизированное лямбда-исчисление